From 57f82067cf679f7e3fa2d5d37fbaa233ff4cebcf Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Tue, 28 Mar 2006 21:21:26 +0100 Subject: [PATCH] Fix get_page_type() when passed PGT_va_mutable. Signed-off-by: Keir Fraser --- xen/arch/x86/mm.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c index 4977a6d2da..564d7e6f98 100644 --- a/xen/arch/x86/mm.c +++ b/xen/arch/x86/mm.c @@ -1528,10 +1528,9 @@ int get_page_type(struct page_info *page, unsigned long type) nx &= ~PGT_va_mask; nx |= type; /* we know the actual type is correct */ } - else + else if ( (type & PGT_va_mask) != PGT_va_mutable ) { ASSERT((type & PGT_va_mask) != (x & PGT_va_mask)); - ASSERT((type & PGT_va_mask) != PGT_va_mutable); #ifdef CONFIG_X86_PAE /* We use backptr as extra typing. Cannot be unknown. */ if ( (type & PGT_type_mask) == PGT_l2_page_table ) -- 2.30.2